// 主题颜色配置css
@bg-theme-color: #f1f1f1;
@bg-modifier-color: #ccc;
@font-theme-color: rgb(85,85,85);
@font-modifier-color:  rgb(153,153,153);
@line-theme-color: rgb(85,85,85);
@line-modifier-color: #fff;
@padding-space: 8px;
@font-size-h: 12px;
@font-size-p: 16px;
@radius-size: 4px;